Tootfinder

"We discovered sharp increases in effective population size, substitution rates, and relative brain size following the K–Pg extinction event, supporting the hypothesis that emerging ecological opportunities catalyzed the diversification of modern birds." https://doi.org/10.1038/s41586-024-073

"""
Predictive processing also sheds considerable light on a wide range of typical and atypical forms of human experience. A good starting point is to notice that there are two very broad ways for such processing to go wrong. The first is for the brain to underweight predictions and expectations. This will make it hard to detect faint but predictable patterns in a noisy or ambiguous environment. But the second general way to go wrong is for the brain to overweight expectations. In extreme cases, overweighting results in hallucinations. You seem to see and hear things that aren't there, just because […] they are at some level strongly expected.
Autism spectrum condition was initially thought to reflect a specific imbalance of the first kind — a systematic underweighting of prior expectations. […] Underweighting prior knowledge would make weak or elusive patterns hard to detect, and hard to learn too. Such patterns would include things like facial expressions, intonation, or body language, things that delicately hint, in context, at other people's mental states and attitudes. An imbalance of that kind would also make it very hard to learn these patterns in the first place, and even harder to recognize them in situations that are complicated or ambiguous. Recent evidence casts subtle doubt, however, on this bald initial hypothesis. Rather than weakened predictions, intriguing evidence is emerging that suggests that the core issue involves (not underweighting knowledge-based predictions but) actively overweighting the incoming sensory evidence.
[…]
She doesn't just feel "hunger," instead the more fine-grained specifics of the bodily signals dominate. You are feeling a whole lot of something — but what is it? According to the overweighted sensory information theory, autism spectrum condition individuals constantly encounter an excess of highly detailed and apparently very salient sensory information of this kind, coming from both inside their own body and the outside world. This sensory excess impedes the moment-by-moment identification of the broader context or scenario (in this case, hunger). In other words, the emphasis on every aspect of sensory detail effectively makes it impossible to spot the larger forest for the trees.
"""
(Andy Clark, The Experience Machine: How Our Minds Predict and Shape Reality)
#ActuallyAutistic

3D Growth and Remodeling Theory Supports the Hypothesis of Staphyloma Formation from Local Scleral Weakening under Normal Intraocular Pressure
Fabian A. Braeu, St\'ephane Avril, Micha\"el J. A. Girard
https://arxiv.org/abs/2404.03330

3D Growth and Remodeling Theory Supports the Hypothesis of Staphyloma Formation from Local Scleral Weakening under Normal Intraocular Pressure
$\bf{Purpose}$: To assess whether Growth & Remodeling (G&R) theory could explain staphyloma formation from a local scleral weakening. $\bf{Methods}$: A finite element model of a healthy eye was reconstructed, including the following connective tissues: the lamina cribrosa, the peripapillary sclera, and the peripheral sclera. The scleral shell was modelled as a constrained mixture, consisting of an isotropic ground matrix and two collagen fiber families (circumferential and meridional). The ho…

Haptic-Based Bilateral Teleoperation of Aerial Manipulator for Extracting Wedged Object with Compensation of Human Reaction Time
Jeonghyun Byun, Dohyun Eom, H. Jin Kim
https://arxiv.org/abs/2405.01361

Haptic-Based Bilateral Teleoperation of Aerial Manipulator for Extracting Wedged Object with Compensation of Human Reaction Time
Bilateral teleoperation of an aerial manipulator facilitates the execution of industrial missions thanks to the combination of the aerial platform's maneuverability and the ability to conduct complex tasks with human supervision. Heretofore, research on such operations has focused on flying without any physical interaction or exerting a pushing force on a contact surface that does not involve abrupt changes in the interaction force. In this paper, we propose a human reaction time compensating h…

GenAI Distortion: The Effect of GenAI Fluency and Positive Affect
Xiantong Yang, Mengmeng Zhang
https://arxiv.org/abs/2404.17822 https://

GenAI Distortion: The Effect of GenAI Fluency and Positive Affect
The introduction of generative artificial intelligence (GenAI) into educational practices has been transformative, yet it brings a crucial concern about the potential distortion of users' beliefs. Given the prevalence of GenAI among college students, examining the psychological mechanisms that lead to GenAI distortion from both technological factors and the individual's psychological processes is a critical priority. A mixed-methods approach is employed to test the proposed hypotheses. Study 1 …

Dual-Port Grid-Forming Interconnecting Power Converters in Hybrid AC/DC Grids
Josep Ar\'evalo-Soler, Mehrdad Nahalparvari, Dominic Gross, Eduardo Prieto-Araujo, Staffan Norrga, Oriol Gomis-Bellmunt
https://arxiv.org/abs/2404.19625

Dual-Port Grid-Forming Interconnecting Power Converters in Hybrid AC/DC Grids
Interconnecting power converters (IPC) are the main elements enabling the interconnection of multiple high-voltage alternating current (HVAC) and high-voltage direct current (HVDC) subgrids. These converters can be classified either as grid-forming or grid-following. These roles can be assigned to both ac and dc terminals. This work compares state-of-the-art single-port grid-forming and grid-following control schemes with a dual-port grid-forming control scheme, which can simultaneously form a …

The Logic of Correct Models
Juan Pablo Aguilera, Fedor Pakhomov
https://arxiv.org/abs/2402.15382 https://arxiv.org/pdf/2402.15382

The Logic of Correct Models
For each $n\in\mathbb{N}$, let $[n]ϕ$ mean "the sentence $ϕ$ is true in all $Σ_{n+1}$-correct transitive sets." Assuming Gödel's axiom $V = L$, we prove the following graded variant of Solovay's completeness theorem: the set of formulas valid under this interpretation is precisely the set of theorems of the linear provability logic GLP.3. We also show that this result is not provable in ZFC, so the hypothesis V = L cannot be removed. As part of the proof, we derive (in ZFC) the following pu…

current state: wondering how long until the following hypothesis collapses?
all paragraphs, recitals and points are strictly monotonically increasing
also: in what totally unexpected way will this hypothesis fall?

This https://arxiv.org/abs/2402.11315 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_grqc_…

Rigidity aspects of Penrose's singularity theorem
In this paper, we study rigidity aspects of Penrose's singularity theorem. Specifically, we aim to answer the following question: if a spacetime satisfies the hypotheses of Penrose's singularity theorem except with weakly trapped surfaces instead of trapped surfaces, then what can be said about the global spacetime structure if the spacetime is null geodesically complete? In this setting, we show that we obtain a foliation of MOTS which generate totally geodesic null hypersurfaces. Depending on…

The Logic of Correct Models
Juan Pablo Aguilera, Fedor Pakhomov
https://arxiv.org/abs/2402.15382 https://arxiv.org/pdf/2402.15382

The Logic of Correct Models
For each $n\in\mathbb{N}$, let $[n]ϕ$ mean "the sentence $ϕ$ is true in all $Σ_{n+1}$-correct transitive sets." Assuming Gödel's axiom $V = L$, we prove the following graded variant of Solovay's completeness theorem: the set of formulas valid under this interpretation is precisely the set of theorems of the linear provability logic GLP.3. We also show that this result is not provable in ZFC, so the hypothesis V = L cannot be removed. As part of the proof, we derive (in ZFC) the following pu…